home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / biblio / bibtex / utils / bibclean / testisxn.bok < prev    next >
Text File  |  1992-11-17  |  27KB  |  767 lines

  1. %% /u/sy/beebe/tex/bibclean/testisxn.bib, Thu Nov 12 09:30:41 1992
  2. %% Edit by Nelson H. F. Beebe <beebe at plot79.math.utah.edu>
  3.  
  4. @Misc{ISSN-test,
  5.   comment =      "The following ISSN values should be valid.",
  6.   ISSN =         "0018-9367",
  7.   ISSN =         "0080-3863",
  8.   ISSN =         "0094-3770",
  9.   ISSN =         "0197-3622",
  10.   ISSN =         "0346-914X",
  11.   ISSN =         "0346-914X",
  12.   ISSN =         "0362-613X",
  13.   ISSN =         "0891-2513",
  14.   ISSN =         "0899-7667",
  15.   ISSN =         "0958-9341",
  16.   ISSN =         "0964-5098",
  17.   ISSN =         "1047-5974",
  18.   ISSN =         "1059-5325",
  19.   ISSN =         "not yet available",
  20.   ISSN =         "",
  21.   comment =      "The following ISSN values have errors in them
  22.                  introduced by perturbing the first digit.",
  23.   ISSN =         
  24. ?? Invalid checksum for ISSN 1018-9367 in ``ISSN = "1018-9367"''.
  25. "1018-9367",
  26.   ISSN =         
  27. ?? Invalid checksum for ISSN 2080-3863 in ``ISSN = "2080-3863"''.
  28. "2080-3863",
  29.   ISSN =         
  30. ?? Invalid checksum for ISSN 3094-3770 in ``ISSN = "3094-3770"''.
  31. "3094-3770",
  32.   ISSN =         
  33. ?? Invalid checksum for ISSN 4197-3622 in ``ISSN = "4197-3622"''.
  34. "4197-3622",
  35.   ISSN =         
  36. ?? Invalid checksum for ISSN 5346-914X in ``ISSN = "5346-914X"''.
  37. "5346-914X",
  38.   ISSN =         
  39. ?? Invalid checksum for ISSN 6346-914X in ``ISSN = "6346-914X"''.
  40. "6346-914X",
  41.   ISSN =         
  42. ?? Invalid checksum for ISSN 7362-613X in ``ISSN = "7362-613X"''.
  43. "7362-613X",
  44.   ISSN =         
  45. ?? Invalid checksum for ISSN 8891-2513 in ``ISSN = "8891-2513"''.
  46. "8891-2513",
  47.   ISSN =         
  48. ?? Invalid checksum for ISSN 9899-7667 in ``ISSN = "9899-7667"''.
  49. "9899-7667",
  50.   ISSN =         
  51. ?? Invalid checksum for ISSN X958-9341 in ``ISSN = "X958-9341"''.
  52. "X958-9341",
  53.   ISSN =         
  54. ?? Invalid checksum for ISSN 1964-5098 in ``ISSN = "1964-5098"''.
  55. "1964-5098",
  56.   ISSN =         
  57. ?? Invalid checksum for ISSN 2047-5974 in ``ISSN = "2047-5974"''.
  58. "2047-5974",
  59.   ISSN =         
  60. ?? Invalid checksum for ISSN 3059-5325 in ``ISSN = "3059-5325"''.
  61. "3059-5325",
  62.   comment =      "The following ISSN values have the wrong number of
  63.                  digits.",
  64.   ISSN =         
  65. ?? Invalid checksum for ISSN 3???-???? in ``ISSN = "3"''.
  66. "3",
  67.   ISSN =         
  68. ?? Invalid checksum for ISSN 30??-???? in ``ISSN = "30"''.
  69. "30",
  70.   ISSN =         
  71. ?? Invalid checksum for ISSN 305?-???? in ``ISSN = "305"''.
  72. "305",
  73.   ISSN =         
  74. ?? Invalid checksum for ISSN 3059-???? in ``ISSN = "3059"''.
  75. "3059",
  76.   ISSN =         
  77. ?? Invalid checksum for ISSN 3059-5??? in ``ISSN = "3059-5"''.
  78. "3059-5",
  79.   ISSN =         
  80. ?? Invalid checksum for ISSN 3059-53?? in ``ISSN = "3059-53"''.
  81. "3059-53",
  82.   ISSN =         
  83. ?? Invalid checksum for ISSN 3059-532? in ``ISSN = "3059-532"''.
  84. "3059-532",
  85.   ISSN =         
  86. ?? Invalid checksum for ISSN 3059-5325 in ``ISSN = "3059-5325-X"''.
  87.  
  88. ?? Invalid checksum for ISSN X???-???? in ``ISSN = "3059-5325-X"''.
  89. "3059-5325-X",
  90. }
  91.  
  92. @Misc{ISBN-test,
  93.   comment =      "The following ISBN values should be valid.",
  94.   ISBN =         "0 241 13267 3",
  95.   ISBN =         "0 85331 623 6",
  96.   ISBN =         "0 913720 72 0",
  97.   ISBN =         "0 948905 72 7",
  98.   ISBN =         "0 948905 76 X",
  99.   ISBN =         "0-03-063892-5",
  100.   ISBN =         "0-07-008845-4",
  101.   ISBN =         "0-07-008845-4",
  102.   ISBN =         "0-07-021623-1",
  103.   ISBN =         "0-07-026751-0",
  104.   ISBN =         "0-07-033508-7",
  105.   ISBN =         "0-07-039006-1 (hardback), 0-07-039002-9 (paperback)",
  106.   ISBN =         "0-07-043109-4",
  107.   ISBN =         "0-07-881645-9",
  108.   ISBN =         "0-070-15557-7",
  109.   ISBN =         "0-08-030713-2",
  110.   ISBN =         "0-12-079062-9",
  111.   ISBN =         "0-12-117645-2",
  112.   ISBN =         "0-12-117650-9",
  113.   ISBN =         "0-12-117650-9",
  114.   ISBN =         "0-12-249050-9",
  115.   ISBN =         "0-12-249051-7",
  116.   ISBN =         "0-12-257960-7",
  117.   ISBN =         "0-12-286160-4",
  118.   ISBN =         "0-12-286165-5",
  119.   ISBN =         "0-12-289255-0",
  120.   ISBN =         "0-12-305340-4",
  121.   ISBN =         "0-12-460515-X",
  122.   ISBN =         "0-12-460515-X",
  123.   ISBN =         "0-12-557580-7",
  124.   ISBN =         "0-12-697545-0",
  125.   ISBN =         "0-13-010778-6",
  126.   ISBN =         "0-13-010778-6",
  127.   ISBN =         "0-13-043530-9",
  128.   ISBN =         "0-13-049189-6",
  129.   ISBN =         "0-13-109802-0",
  130.   ISBN =         "0-13-110008-4",
  131.   ISBN =         "0-13-110933-2",
  132.   ISBN =         "0-13-120486-6",
  133.   ISBN =         "0-13-155045-4",
  134.   ISBN =         "0-13-162959-X",
  135.   ISBN =         "0-13-365412-5",
  136.   ISBN =         "0-13-472242-6",
  137.   ISBN =         "0-13-497074-8",
  138.   ISBN =         "0-13-536657-7",
  139.   ISBN =         "0-13-554619-2",
  140.   ISBN =         "0-13-567090-X",
  141.   ISBN =         "0-13-580944-4",
  142.   ISBN =         "0-13-588187-0",
  143.   ISBN =         "0-13-590464-1",
  144.   ISBN =         "0-13-590472-2",
  145.   ISBN =         "0-13-627258-4",
  146.   ISBN =         "0-13-640616-5",
  147.   ISBN =         "0-13-640673-4",
  148.   ISBN =         "0-13-640681-5",
  149.   ISBN =         "0-13-685835-X",
  150.   ISBN =         "0-13-685843-0",
  151.   ISBN =         "0-13-685850-3",
  152.   ISBN =         "0-13-685868-6",
  153.   ISBN =         "0-13-685876-7",
  154.   ISBN =         "0-13-685884-8",
  155.   ISBN =         "0-13-685892-9",
  156.   ISBN =         "0-13-685967-4",
  157.   ISBN =         "0-13-812611-9",
  158.   ISBN =         "0-13-812611-9",
  159.   ISBN =         "0-13-822064-6",
  160.   ISBN =         "0-13-825001-4",
  161.   ISBN =         "0-13-838012-0",
  162.   ISBN =         "0-13-855974-0",
  163.   ISBN =         "0-13-880733-7",
  164.   ISBN =         "0-13-912296-6",
  165.   ISBN =         "0-13-912296-6",
  166.   ISBN =         "0-13-933441-6",
  167.   ISBN =         "0-13-945593-0",
  168.   ISBN =         "0-13-949876-1",
  169.   ISBN =         "0-13-972167-3",
  170.   ISBN =         "0-13-982992-X",
  171.   ISBN =         "0-19-212983-X",
  172.   ISBN =         "0-19-505838-0",
  173.   ISBN =         "0-19-853387-X",
  174.   ISBN =         "0-19-853387-X",
  175.   ISBN =         "0-19-853443-4",
  176.   ISBN =         "0-19-853755-7 (hardback), 0-19-853756-5 (paperback)",
  177.   ISBN =         "0-201-05866-9",
  178.   ISBN =         "0-201-05992-4",
  179.   ISBN =         "0-201-06008-6",
  180.   ISBN =         "0-201-06663-7",
  181.   ISBN =         "0-201-06663-7",
  182.   ISBN =         "0-201-06672-6",
  183.   ISBN =         "0-201-06672-6",
  184.   ISBN =         "0-201-06673-4",
  185.   ISBN =         "0-201-06755-2",
  186.   ISBN =         "0-201-06824-9",
  187.   ISBN =         "0-201-06896-6",
  188.   ISBN =         "0-201-07981-X",
  189.   ISBN =         "0-201-08017-6",
  190.   ISBN =         "0-201-08319-1",
  191.   ISBN =         "0-201-08319-1",
  192.   ISBN =         "0-201-09346-4 (hardback), 0-201-09356-1 (paperback)",
  193.   ISBN =         "0-201-09355-3",
  194.   ISBN =         "0-201-09528-9",
  195.   ISBN =         "0-201-09591-2",
  196.   ISBN =         "0-201-09689-7",
  197.   ISBN =         "0-201-09696-X",
  198.   ISBN =         "0-201-09720-6",
  199.   ISBN =         "0-201-10174-2",
  200.   ISBN =         "0-201-10174-2",
  201.   ISBN =         "0-201-10179-3",
  202.   ISBN =         "0-201-10179-3",
  203.   ISBN =         "0-201-10331-1",
  204.   ISBN =         "0-201-10381-8",
  205.   ISBN =         "0-201-10745-7",
  206.   ISBN =         "0-201-10877-1",
  207.   ISBN =         "0-201-11114-4",
  208.   ISBN =         "0-201-11537-9",
  209.   ISBN =         "0-201-11603-0",
  210.   ISBN =         "0-201-11749-5",
  211.   ISBN =         "0-201-11938-2",
  212.   ISBN =         "0-201-11941-2",
  213.   ISBN =         "0-201-11982-X",
  214.   ISBN =         "0-201-12008-9",
  215.   ISBN =         "0-201-12078-X",
  216.   ISBN =         "0-201-12110-7",
  217.   ISBN =         "0-201-12584-6",
  218.   ISBN =         "0-201-12593-5",
  219.   ISBN =         "0-201-12649-4",
  220.   ISBN =         "0-201-12792-X",
  221.   ISBN =         "0-201-12910-8",
  222.   ISBN =         "0-201-12920-5",
  223.   ISBN =         "0-201-13046-7",
  224.   ISBN =         "0-201-13437-3",
  225.   ISBN =         "0-201-13437-3",
  226.   ISBN =         "0-201-13438-1",
  227.   ISBN =         "0-201-13438-1",
  228.   ISBN =         "0-201-13445-4",
  229.   ISBN =         "0-201-13445-4",
  230.   ISBN =         "0-201-13446-2",
  231.   ISBN =         "0-201-13446-2",
  232.   ISBN =         "0-201-13447-0",
  233.   ISBN =         "0-201-13447-0",
  234.   ISBN =         "0-201-13448-9",
  235.   ISBN =         "0-201-13448-9",
  236.   ISBN =         "0-201-13548-5",
  237.   ISBN =         "0-201-14236-8",
  238.   ISBN =         "0-201-14236-8",
  239.   ISBN =         "0-201-14396-8",
  240.   ISBN =         "0-201-14396-8",
  241.   ISBN =         "0-201-14468-9",
  242.   ISBN =         "0-201-15002-6",
  243.   ISBN =         "0-201-15198-7",
  244.   ISBN =         "0-201-15572-9",
  245.   ISBN =         "0-201-15585-0",
  246.   ISBN =         "0-201-15672-5",
  247.   ISBN =         "0-201-15673-3",
  248.   ISBN =         "0-201-15674-1",
  249.   ISBN =         "0-201-15675-X",
  250.   ISBN =         "0-201-15676-8",
  251.   ISBN =         "0-201-15680-6",
  252.   ISBN =         "0-201-15681-4 (hardback), 0-201-15685-7 (paperback)",
  253.   ISBN =         "0-201-15683-0",
  254.   ISBN =         "0-201-15688-1",
  255.   ISBN =         "0-201-15790-X",
  256.   ISBN =         "0-201-15790-X",
  257.   ISBN =         "0-201-15911-2",
  258.   ISBN =         "0-201-16116-8",
  259.   ISBN =         "0-201-16410-8",
  260.   ISBN =         "0-201-16411-6",
  261.   ISBN =         "0-201-16503-1 (hardback), 0-201-16504-X (paperback)",
  262.   ISBN =         "0-201-16520-1",
  263.   ISBN =         "0-201-16579-1 (hardback), 0-201-13232-X (paperback)",
  264.   ISBN =         "0-201-16643-7",
  265.   ISBN =         "0-201-16891-X",
  266.   ISBN =         "0-201-17232-1",
  267.   ISBN =         "0-201-17233-X",
  268.   ISBN =         "0-201-17234-8",
  269.   ISBN =         "0-201-17236-4",
  270.   ISBN =         "0-201-17237-2",
  271.   ISBN =         "0-201-17535-5",
  272.   ISBN =         "0-201-17535-5",
  273.   ISBN =         "0-201-17574-6",
  274.   ISBN =         "0-201-17633-5",
  275.   ISBN =         "0-201-17633-5",
  276.   ISBN =         "0-201-17634-3",
  277.   ISBN =         "0-201-17833-8",
  278.   ISBN =         "0-201-18127-4",
  279.   ISBN =         "0-201-18260-2",
  280.   ISBN =         "0-201-18261-0",
  281.   ISBN =         "0-201-18323-4",
  282.   ISBN =         "0-201-19038-9",
  283.   ISBN =         "0-201-19334-5 (hardback), 0-201-19330-2 (paperback)",
  284.   ISBN =         "0-201-19334-5",
  285.   ISBN =         "0-201-19560-7",
  286.   ISBN =         "0-201-41625-5",
  287.   ISBN =         "0-201-41667-0",
  288.   ISBN =         "0-201-50018-3",
  289.   ISBN =         "0-201-50061-2",
  290.   ISBN =         "0-201-50257-7",
  291.   ISBN =         "0-201-50305-0",
  292.   ISBN =         "0-201-50390-5",
  293.   ISBN =         "0-201-50391-3",
  294.   ISBN =         "0-201-50393-X",
  295.   ISBN =         "0-201-50395-6 (hardback), 0-201-51560-1 (paperback)",
  296.   ISBN =         "0-201-50418-9",
  297.   ISBN =         "0-201-50424-3",
  298.   ISBN =         "0-201-50814-1",
  299.   ISBN =         "0-201-50814-1",
  300.   ISBN =         "0-201-50821-4",
  301.   ISBN =         "0-201-50862-1",
  302.   ISBN =         "0-201-50868-0",
  303.   ISBN =         "0-201-50935-0",
  304.   ISBN =         "0-201-50936-9",
  305.   ISBN =         "0-201-50937-7",
  306.   ISBN =         "0-201-51001-4",
  307.   ISBN =         "0-201-51002-2",
  308.   ISBN =         "0-201-51013-8",
  309.   ISBN =         "0-201-51014-6",
  310.   ISBN =         "0-201-51035-9",
  311.   ISBN =         "0-201-51058-8",
  312.   ISBN =         "0-201-51141-X",
  313.   ISBN =         "0-201-51141-X",
  314.   ISBN =         "0-201-51249-1",
  315.   ISBN =         "0-201-51375-7",
  316.   ISBN =         "0-201-51375-7",
  317.   ISBN =         "0-201-51376-5",
  318.   ISBN =         "0-201-51392-7",
  319.   ISBN =         "0-201-51425-7",
  320.   ISBN =         "0-201-51425-7",
  321.   ISBN =         "0-201-51459-1",
  322.   ISBN =         "0-201-51505-9 (hardback), 0-201-51561-X (paperback)",
  323.   ISBN =         "0-201-51507-5",
  324.   ISBN =         "0-201-51509-1 (hardback), 0-201-51506-7 (paperback)",
  325.   ISBN =         "0-201-51814-7",
  326.   ISBN =         "0-201-52149-0 (hardback), 0-201-52150-4 (paperback)",
  327.   ISBN =         "0-201-52243-8",
  328.   ISBN =         "0-201-52251-9",
  329.   ISBN =         "0-201-52253-5",
  330.   ISBN =         "0-201-52425-2",
  331.   ISBN =         "0-201-52781-2",
  332.   ISBN =         "0-201-52810-X",
  333.   ISBN =         "0-201-52811-8",
  334.   ISBN =         "0-201-52812-6",
  335.   ISBN =         "0-201-52813-4",
  336.   ISBN =         "0-201-52899-1",
  337.   ISBN =         "0-201-53472-X",
  338.   ISBN =         "0-201-53472-X",
  339.   ISBN =         "0-201-53992-6",
  340.   ISBN =         "0-201-54611-6",
  341.   ISBN =         "0-201-54709-0",
  342.   ISBN =         "0-201-54799-6",
  343.   ISBN =         "0-201-54799-6",
  344.   ISBN =         "0-201-54848-8",
  345.   ISBN =         "0-201-55703-7",
  346.   ISBN =         "0-201-55703-7",
  347.   ISBN =         "0-201-56345-2",
  348.   ISBN =         "0-201-56882-9",
  349.   ISBN =         "0-201-57044-0",
  350.   ISBN =         "0-231-05146-8",
  351.   ISBN =         "0-262-01063-1",
  352.   ISBN =         "0-262-01077-1 (MIT Press), 0-07-000-422-6",
  353.   ISBN =         "0-262-01102-6",
  354.   ISBN =         "0-262-01114-X",
  355.   ISBN =         "0-262-01123-9 (hardback), 0-262-69146-9 (paperback)",
  356.   ISBN =         "0-262-01124-7",
  357.   ISBN =         "0-262-02182-X",
  358.   ISBN =         "0-262-02192-7",
  359.   ISBN =         "0-262-02226-5",
  360.   ISBN =         "0-262-02266-4",
  361.   ISBN =         "0-262-02317-2",
  362.   ISBN =         "0-262-02334-2",
  363.   ISBN =         "0-262-03141-8",
  364.   ISBN =         "0-262-03167-1",
  365.   ISBN =         "0-262-03171-X",
  366.   ISBN =         "0-262-03181-7",
  367.   ISBN =         "0-262-07083-9",
  368.   ISBN =         "0-262-07106-1",
  369.   ISBN =         "0-262-07130-4",
  370.   ISBN =         "0-262-08143-1",
  371.   ISBN =         "0-262-08157-1",
  372.   ISBN =         "0-262-08159-8",
  373.   ISBN =         "0-262-08183-0",
  374.   ISBN =         "0-262-10045-2",
  375.   ISBN =         "0-262-11139-X",
  376.   ISBN =         "0-262-13205-2",
  377.   ISBN =         "0-262-13235-4",
  378.   ISBN =         "0-262-13252-4",
  379.   ISBN =         "0-262-13257-5",
  380.   ISBN =         "0-262-13263-X",
  381.   ISBN =         "0-262-15039-5",
  382.   ISBN =         "0-262-16082-X",
  383.   ISBN =         "0-262-18117-7",
  384.   ISBN =         "0-262-18143-6",
  385.   ISBN =         "0-262-18145-2 (hardback), 0-262-68069-6 (paperback)",
  386.   ISBN =         "0-262-19229-2 (MIT Press) and 0-07-057290-9",
  387.   ISBN =         "0-262-19250-0",
  388.   ISBN =         "0-262-19277-2",
  389.   ISBN =         "0-262-19285-3",
  390.   ISBN =         "0-262-19288-8",
  391.   ISBN =         "0-262-19301-9",
  392.   ISBN =         "0-262-20087-2",
  393.   ISBN =         "0-262-21009-6",
  394.   ISBN =         "0-262-21009-6",
  395.   ISBN =         "0-262-21009-6",
  396.   ISBN =         "0-262-23096-8",
  397.   ISBN =         "0-262-23117-4",
  398.   ISBN =         "0-262-23139-5 (MIT), 0-07-068147-3 (McGraw-Hill)",
  399.   ISBN =         "0-262-23150-6 (volume two), 0-262-23154-9 (two-volume
  400.                  set)",
  401.   ISBN =         "0-262-23151-4 (volume two), 0-262-23154-9 (two-volume
  402.                  set)",
  403.   ISBN =         "0-262-23152-2",
  404.   ISBN =         "0-262-23157-3",
  405.   ISBN =         "0-262-53071-6 (paper), 0-262-03144-2 (hard)",
  406.   ISBN =         "0-262-56038-0",
  407.   ISBN =         "0-262-58072-1",
  408.   ISBN =         "0-262-58080-2",
  409.   ISBN =         "0-262-58086-1",
  410.   ISBN =         "0-262-61026-4",
  411.   ISBN =         "0-262-66070-9 (paper)",
  412.   ISBN =         "0-262-66071-7",
  413.   ISBN =         "0-316-08275-9",
  414.   ISBN =         "0-387-53775-9",
  415.   ISBN =         "0-387-70001-3",
  416.   ISBN =         "0-387-90144-2, 3-540-90144-2",
  417.   ISBN =         "0-387-96048-1, 3-540-96048-1",
  418.   ISBN =         "0-387-96115-1 and 3-540-96115-1",
  419.   ISBN =         "0-387-96527-0, 3-540-96527-0",
  420.   ISBN =         "0-387-96598-X (New York), 3-540-96598-X (Berlin)",
  421.   ISBN =         "0-387-96608-0",
  422.   ISBN =         "0-387-96689-7 (USA) and 3-540-96689-7 (Germany)",
  423.   ISBN =         "0-387-96780-X",
  424.   ISBN =         "0-387-96915-2",
  425.   ISBN =         "0-387-97145-9",
  426.   ISBN =         "0-387-97562-4, 3-540-97562-4",
  427.   ISBN =         "0-387-97562-4, 3-540-97562-4",
  428.   ISBN =         "0-387-97592-6, 3-540-97592-6",
  429.   ISBN =         "0-387-97592-6, 3-540-97592-6",
  430.   ISBN =         "0-387-97616-7, 3-540-97616-7",
  431.   ISBN =         "0-387-97621-3",
  432.   ISBN =         "0-387-97622-1, 3-540-97622-1",
  433.   OPTisbn =      "0-393-95924-47",
  434.   ISBN =         "0-393-95926-0",
  435.   ISBN =         "0-394-35678-0",
  436.   ISBN =         "0-394-58640-9",
  437.   ISBN =         "0-394-72625-1",
  438.   ISBN =         "0-415-07858-X",
  439.   ISBN =         "0-425-11690-5",
  440.   ISBN =         "0-442-22888-0",
  441.   ISBN =         "0-442-31946-0",
  442.   ISBN =         "0-442-31946-0",
  443.   ISBN =         "0-444-70521-X",
  444.   ISBN =         "0-444-88013-5",
  445.   OPTisbn =      "0-444-88768-8",
  446.   ISBN =         "0-452-25497-3",
  447.   ISBN =         "0-452-25497-3",
  448.   ISBN =         "0-471-53294-0",
  449.   ISBN =         "0-471-61857-8",
  450.   ISBN =         "0-471-61976-0",
  451.   ISBN =         "0-471-81888-7",
  452.   ISBN =         "0-471-83185-9",
  453.   ISBN =         "0-471-87569-4",
  454.   ISBN =         "0-471-92139-4",
  455.   ISBN =         "0-471-92142-4 (Wiley), 3-519-02109-9 (Teubner)",
  456.   ISBN =         "0-471-92910-7",
  457.   ISBN =         "0-521-30811-9",
  458.   ISBN =         "0-521-37490-1",
  459.   ISBN =         "0-521-37490-1",
  460.   ISBN =         "0-521-38475-3 (hardback), 0-521-38622-5 (paperback)",
  461.   ISBN =         "0-521-39338-8 (hardback), 0-521-39732-4 (paperback)",
  462.   ISBN =         "0-534-09198-9",
  463.   ISBN =         "0-672-48440-4",
  464.   ISBN =         "0-673-38574-4",
  465.   ISBN =         "0-673-38574-4",
  466.   ISBN =         "0-673-39773-4",
  467.   ISBN =         "0-691-04264-0",
  468.   ISBN =         "0-7167-2136-8",
  469.   ISBN =         "0-7458-0005-X",
  470.   ISBN =         "0-7458-0148-X",
  471.   ISBN =         "0-7923-0635-X",
  472.   ISBN =         "0-7923-0635-X",
  473.   ISBN =         "0-7923-0875-1",
  474.   ISBN =         "0-7923-0929-4",
  475.   ISBN =         "0-7923-9045-8",
  476.   ISBN =         "0-8053-1601-9",
  477.   ISBN =         "0-8092-4368-7",
  478.   ISBN =         "0-8162-2060-3",
  479.   ISBN =         "0-8186-8931-5",
  480.   ISBN =         "0-8186-8945-5",
  481.   ISBN =         "0-8218-0053-1",
  482.   ISBN =         "0-8218-2997-1",
  483.   ISBN =         "0-8218-2999-8",
  484.   ISBN =         "0-8230-0732-4",
  485.   ISBN =         "0-8230-1320-0",
  486.   ISBN =         "0-8230-1320-0",
  487.   ISBN =         "0-8230-2122-X",
  488.   ISBN =         "0-8230-2122-X",
  489.   ISBN =         "0-8352-1704-3",
  490.   ISBN =         "0-8352-1704-3",
  491.   ISBN =         "0-85484-056-7",
  492.   ISBN =         "0-85484-059-1",
  493.   ISBN =         "0-85484-085-0",
  494.   ISBN =         "0-86094-166-3",
  495.   ISBN =         "0-87484-717-6",
  496.   ISBN =         "0-87850-064-2",
  497.   ISBN =         "0-88175-096-4",
  498.   ISBN =         "0-88275-642-7",
  499.   ISBN =         "0-88385-063-X",
  500.   ISBN =         "0-88385-063-X",
  501.   ISBN =         "0-89303-424-X",
  502.   ISBN =         "0-89303-556-4",
  503.   ISBN =         "0-89579-252-4",
  504.   ISBN =         "0-89588-396-1",
  505.   ISBN =         "0-89588-396-1",
  506.   ISBN =         "0-898-38235-1",
  507.   ISBN =         "0-89871-227-0",
  508.   ISBN =         "0-89871-260-2",
  509.   ISBN =         "0-89871-270-X",
  510.   ISBN =         "0-89871-270-X",
  511.   ISBN =         "0-89871-285-8",
  512.   ISBN =         "0-89871-285-8",
  513.   ISBN =         "0-89871-286-6",
  514.   ISBN =         "0-89871-294-7",
  515.   ISBN =         "0-89871-294-7",
  516.   ISBN =         "0-911971-76-9",
  517.   ISBN =         "0-911971-67-X",
  518.   ISBN =         "0-911971-69-6",
  519.   ISBN =         "0-911971-72-6",
  520.   ISBN =         "0-912704-57-8",
  521.   ISBN =         "0-914894-65-X",
  522.   ISBN =         "0-914930-13-3",
  523.   ISBN =         "0-918035-03-1",
  524.   ISBN =         "0-932376-02-9",
  525.   ISBN =         "0-932376-02-9",
  526.   ISBN =         "0-937-07380-6",
  527.   ISBN =         "0-937175-24-2",
  528.   ISBN =         "0-937175-34-X",
  529.   ISBN =         "0-937175-35-8",
  530.   ISBN =         "0-937175-38-2",
  531.   ISBN =         "0-937175-390",
  532.   ISBN =         "0-937175-40-4",
  533.   ISBN =         "0-937175-49-8",
  534.   ISBN =         "0-937175-59-5",
  535.   ISBN =         "0-937175-70-6",
  536.   ISBN =         "0-937175-75-7",
  537.   ISBN =         "0-937175-80-3",
  538.   ISBN =         "0-937175-82-X",
  539.   ISBN =         "0-937175-84-6",
  540.   ISBN =         "0-937175-85-4",
  541.   ISBN =         "0-937175-86-2",
  542.   ISBN =         "0-938151-12-6",
  543.   ISBN =         "0-941447-00-6",
  544.   ISBN =         "0-9614729-8-7",
  545.   ISBN =         "0534-09192-X",
  546.   ISBN =         "1-55512-022-9",
  547.   ISBN =         "1-55512-069-5",
  548.   ISBN =         "1-55512-106-3",
  549.   ISBN =         "1-55512-135-7",
  550.   ISBN =         "1-55521-198-4",
  551.   ISBN =         "1-55521-198-4",
  552.   ISBN =         "1-55558-033-5",
  553.   ISBN =         "1-55558-034-3",
  554.   ISBN =         "1-55558-041-6 (Digital Press) and 0-13-152414-3",
  555.   ISBN =         "1-55558-048-3",
  556.   ISBN =         "1-55558-051-3",
  557.   ISBN =         "1-55828-016-2",
  558.   ISBN =         "1-55828-029-4",
  559.   ISBN =         "1-55828-059-6",
  560.   ISBN =         "1-55851-057-5",
  561.   ISBN =         "1-55860-069-8",
  562.   ISBN =         "1-55860-069-8",
  563.   ISBN =         "1-56131-016-6, 1-56131-017-4 (paperback)",
  564.   ISBN =         "1-56347-009-8",
  565.   ISBN =         "1-56592-001-5",
  566.   ISBN =         "1-56592-007-4",
  567.   ISBN =         "1-877751-44-8; 1-877751-52-9; 1-877751-53-7",
  568.   ISBN =         "1-878567-01-2",
  569.   ISBN =         "1-878956-07-8",
  570.   ISBN =         "1-878956-07-8",
  571.   ISBN =         "2-7296-0233-X",
  572.   ISBN =         "2-7296-0233-X",
  573.   ISBN =         "2-87085-194-4",
  574.   ISBN =         "2-87085-194-4",
  575.   ISBN =         "3-209-01061-7",
  576.   ISBN =         "3-209-01165-6",
  577.   ISBN =         "3-486-21173-0",
  578.   ISBN =         "3-515-04808-1",
  579.   ISBN =         "3-519-02279-6",
  580.   ISBN =         "3-519-02488-8",
  581.   ISBN =         "3-519-02499-3",
  582.   ISBN =         "3-519-03047-0",
  583.   ISBN =         "3-519-03507-3",
  584.   ISBN =         "3-540-13920-6, 0-387-13920-6",
  585.   ISBN =         "3-540-16807-9, 0-387-16807-9",
  586.   ISBN =         "3-540-18797-9",
  587.   ISBN =         "3-540-51211-X",
  588.   ISBN =         "3-540-52707-9 and 0-387-52707-9",
  589.   ISBN =         "3-540-54539-5 and 0-387-54539-5",
  590.   ISBN =         "3-540-97003-7",
  591.   ISBN =         "3-7785-1804-6",
  592.   ISBN =         "3-87439-233-3",
  593.   ISBN =         "3-89319-115-1",
  594.   ISBN =         "3-89319-115-1",
  595.   ISBN =         "3-89319-152-6",
  596.   ISBN =         "3-89319-152-6",
  597.   ISBN =         "3-89319-199-2",
  598.   ISBN =         "3-89319-199-2",
  599.   ISBN =         "3-89319-287-5",
  600.   ISBN =         "3-89319-338-3",
  601.   ISBN =         "3-89319-356-1",
  602.   ISBN =         "3-925118-46-2",
  603.   ISBN =         "3-925118-97-7",
  604.   ISBN =         "3-925118-97-7",
  605.   ISBN =         "3-926515-01-5",
  606.   ISBN =         "3-926515-01-5",
  607.   ISBN =         "320901191-5",
  608.   ISBN =         "3922715-35-4",
  609.   ISBN =         "4-7561-0010-4",
  610.   ISBN =         "4-7561-0405-3",
  611.   ISBN =         "5-02-014712-5",
  612.   ISBN =         "82-90006-07-1",
  613.   ISBN =         "82-90006-09-8",
  614.   ISBN =         "87-550-1635-9",
  615.   ISBN =         "87-550-1636-7",
  616.   ISBN =         "87-550-1637-5",
  617.   ISBN =         "87-550-1638-3",
  618.   ISBN =         "87-550-1639-1",
  619.   ISBN =         "87-7252-089-2",
  620.   ISBN =         "87-7252-089-2",
  621.   ISBN =         "88-08-07838-8",
  622.   ISBN =         "88-203-1931-4",
  623.   ISBN =         "88-203-1932-2",
  624.   ISBN =         "88-371-0583-5",
  625.   ISBN =         "88-85613-20-9",
  626.   ISBN =         "88-85613-28-4",
  627.   ISBN =         "9-06789-151-7",
  628.   ISBN =         "90-247-3220-4",
  629.   ISBN =         "90-6196-357-5",
  630.   ISBN =         "90-6196-357-5",
  631.   ISBN =         "90-6980-015-2",
  632.   ISBN =         "91-7346-218-7",
  633.   ISBN =         "91-7868226-6",
  634.   ISBN =         "91-7900-417-2",
  635.   ISBN =         "91-7900-635-3",
  636.   ISBN =         "91-7900-753-8",
  637.   ISBN =         "91-7970-241-4",
  638.   ISBN =         "981-02-0915-0",
  639.   ISBN =         "0-201-56882-9",
  640.   ISBN =         "not yet available",
  641.   ISBN =         "",
  642.   comment =      "The following ISBN values have errors in them
  643.                  introduced by perturbing the first digit.",
  644.   ISBN =         
  645. ?? Invalid checksum for ISBN 1-24113-267-3 in ``ISBN = "1 241 13267
  646.                  3"''.
  647. "1 241 13267 3",
  648.   ISBN =         
  649. ?? Invalid checksum for ISBN 2-50080-221-? in ``ISBN = "2 500 8022 1"''.
  650. "2 500 8022 1",
  651.   ISBN =         
  652. ?? Invalid checksum for ISBN 3-85331-623-6 in ``ISBN = "3 85331 623
  653.                  6"''.
  654. "3 85331 623 6",
  655.   ISBN =         
  656. ?? Invalid checksum for ISBN 4-91372-072-0 in ``ISBN = "4 913720 72
  657.                  0"''.
  658. "4 913720 72 0",
  659.   ISBN =         
  660. ?? Invalid checksum for ISBN 5-94890-572-7 in ``ISBN = "5 948905 72
  661.                  7"''.
  662. "5 948905 72 7",
  663.   ISBN =         
  664. ?? Invalid checksum for ISBN 6-94890-576-X in ``ISBN = "6 948905 76
  665.                  X"''.
  666. "6 948905 76 X",
  667.   ISBN =         
  668. ?? Invalid checksum for ISBN 7-03063-892-5 in ``ISBN =
  669.                  "7-03-063892-5"''.
  670. "7-03-063892-5",
  671.   ISBN =         
  672. ?? Invalid checksum for ISBN 8-07008-845-4 in ``ISBN =
  673.                  "8-07-008845-4"''.
  674. "8-07-008845-4",
  675.   ISBN =         
  676. ?? Invalid checksum for ISBN 9-07008-845-4 in ``ISBN =
  677.                  "9-07-008845-4"''.
  678. "9-07-008845-4",
  679.   ISBN =         
  680. ?? Invalid checksum for ISBN X-07021-623-1 in ``ISBN =
  681.                  "X-07-021623-1"''.
  682. "X-07-021623-1",
  683.   ISBN =         
  684. ?? Invalid checksum for ISBN 1-07026-751-0 in ``ISBN =
  685.                  "1-07-026751-0"''.
  686. "1-07-026751-0",
  687.   ISBN =         
  688. ?? Invalid checksum for ISBN 2-07033-508-7 in ``ISBN =
  689.                  "2-07-033508-7"''.
  690. "2-07-033508-7",
  691.   ISBN =         
  692. ?? Invalid checksum for ISBN 3-07039-006-1 in ``ISBN = "3-07-039006-1
  693.                  (hardback), 4-07-039002-9 (paperback)"''.
  694.  
  695. ?? Invalid checksum for ISBN 4-07039-002-9 in ``ISBN = "3-07-039006-1
  696.                  (hardback), 4-07-039002-9 (paperback)"''.
  697. "3-07-039006-1 (hardback), 4-07-039002-9 (paperback)",
  698.   ISBN =         
  699. ?? Invalid checksum for ISBN 5-07043-109-4 in ``ISBN =
  700.                  "5-07-043109-4"''.
  701. "5-07-043109-4",
  702.   ISBN =         
  703. ?? Invalid checksum for ISBN 6-07881-645-9 in ``ISBN =
  704.                  "6-07-881645-9"''.
  705. "6-07-881645-9",
  706.   ISBN =         
  707. ?? Invalid checksum for ISBN 7-07015-557-7 in ``ISBN =
  708.                  "7-070-15557-7"''.
  709. "7-070-15557-7",
  710.   ISBN =         
  711. ?? Invalid checksum for ISBN 8-08030-713-2 in ``ISBN =
  712.                  "8-08-030713-2"''.
  713. "8-08-030713-2",
  714.   ISBN =         
  715. ?? Invalid checksum for ISBN 9-12079-062-9 in ``ISBN =
  716.                  "9-12-079062-9"''.
  717. "9-12-079062-9",
  718.   ISBN =         
  719. ?? Invalid checksum for ISBN X-12117-645-2 in ``ISBN =
  720.                  "X-12-117645-2"''.
  721. "X-12-117645-2",
  722.   ISBN =         
  723. ?? Invalid checksum for ISBN 1-12117-650-9 in ``ISBN =
  724.                  "1-12-117650-9"''.
  725. "1-12-117650-9",
  726.   ISBN =         
  727. ?? Invalid checksum for ISBN 2-12117-650-9 in ``ISBN =
  728.                  "2-12-117650-9"''.
  729. "2-12-117650-9",
  730.   comment =      "The following ISBN values have the wrong number of
  731.                  digits.",
  732.   ISBN =         
  733. ?? Invalid checksum for ISBN 2-?????-???-? in ``ISBN = "2"''.
  734. "2",
  735.   ISBN =         
  736. ?? Invalid checksum for ISBN 2-1????-???-? in ``ISBN = "2-1"''.
  737. "2-1",
  738.   ISBN =         
  739. ?? Invalid checksum for ISBN 2-12???-???-? in ``ISBN = "2-12"''.
  740. "2-12",
  741.   ISBN =         
  742. ?? Invalid checksum for ISBN 2-121??-???-? in ``ISBN = "2-12-1"''.
  743. "2-12-1",
  744.   ISBN =         
  745. ?? Invalid checksum for ISBN 2-1211?-???-? in ``ISBN = "2-12-11"''.
  746. "2-12-11",
  747.   ISBN =         
  748. ?? Invalid checksum for ISBN 2-12117-???-? in ``ISBN = "2-12-117"''.
  749. "2-12-117",
  750.   ISBN =         
  751. ?? Invalid checksum for ISBN 2-12117-6??-? in ``ISBN = "2-12-1176"''.
  752. "2-12-1176",
  753.   ISBN =         
  754. ?? Invalid checksum for ISBN 2-12117-65?-? in ``ISBN = "2-12-11765"''.
  755. "2-12-11765",
  756.   ISBN =         
  757. ?? Invalid checksum for ISBN 2-12117-650-? in ``ISBN = "2-12-117650"''.
  758. "2-12-117650",
  759.   ISBN =         
  760. ?? Invalid checksum for ISBN 2-12117-650-9 in ``ISBN =
  761.                  "2-12-117650-9X"''.
  762.  
  763. ?? Invalid checksum for ISBN X-?????-???-? in ``ISBN =
  764.                  "2-12-117650-9X"''.
  765. "2-12-117650-9X",
  766. }
  767.